type T =
    static member M()() = ()

T.M({caret})
